9 found
Order:
Disambiguations
Carlos Augusto Di Prisco [6]Carlos A. Di Prisco [2]Carlos A. Prisco [1]
  1.  18
    Doughnuts, floating ordinals, square brackets, and ultraflitters.Carlos A. Di Prisco & James M. Henle - 2000 - Journal of Symbolic Logic 65 (1):461 - 473.
  2.  13
    Partitions of products.Carlos A. Prisco & James M. Henle - 1993 - Journal of Symbolic Logic 58 (3):860 - 871.
  3.  9
    Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding.Carlos Augusto Di Prisco, Richard L. Epstein & Walter A. Carnielli - 2002 - Bulletin of Symbolic Logic 8 (1):101.
  4.  18
    Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983.Xavier Caicedo, Rolando Chauqui, Newton C. D. da Costa & Carlos A. Di Prisco - 1984 - Journal of Symbolic Logic 49 (4):1430 - 1440.
  5.  16
    [Omnibus Review].Carlos Augusto Di Prisco - 1991 - Journal of Symbolic Logic 56 (3):1098-1100.
  6.  18
    XI Latin American Symposium on Mathematical Logic.Carlos Augusto Di Prisco - 1999 - Bulletin of Symbolic Logic 5 (4):495-524.
  7.  11
    Strong Axioms of Infinity and Elementary Embeddings.Carlos Augusto Di Prisco - 1986 - Journal of Symbolic Logic 51 (4):1066-1068.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  64
    Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori. Strong axioms of infinity and elementary embeddings. Annals of mathematical logic, vol. 13 , pp. 73–116. - Menachem Magidor. HOW large is the first strongly compact cardinal? or A study on identity crises. Annals of mathematical logic, vol. 10 , pp. 33–57. [REVIEW]Carlos Augusto Di Prisco - 1986 - Journal of Symbolic Logic 51 (4):1066-1068.
  9.  16
    Review: Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics; Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding. [REVIEW]Carlos Augusto Di Prisco - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark